Validating the Characteristic Modes Solvers

Simulation of Characteristic of Linear Degradation with Failure Modes

Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers

As satisfiability (SAT) solver performance has improved, so has their complexity, which make it more likely that SAT solvers contain bugs. One important source of increased complexity is clause sharing in parallel SAT solvers. SAT solvers can emit a proof of unsatisfiability to gain confidence that their results are correct. Such proofs must contain deletion information in order to check them e...

Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants

Semidefinite programming (SDP) solvers are increasingly used as primitives in many program verification tasks to synthesize and verify polynomial invariants for a variety of systems including programs, hybrid systems and stochastic models. On one hand, they provide a tractable alternative to reasoning about semi-algebraic constraints. However, the results are often unreliable due to “numerical ...

Carcinoma of the bladder: characteristic modes of local invasion.

It is now fairly generally agreed that the type of treatment to be chosen for an infiltrating carcinoma of the bladder will depend at least to some e:-:tent upon the depth to which this tumor has invaded the wall of the .bladder. However, the preoperative estimate of this depth of infiltration cannot be expected to equal in precision the postoperative or postmortem findings based. , upon the st...

On the characteristic modes of a rigid body under forces

It is recently shown in [1, 2] that the exact analytical solution of a rigid body controlled by a linear feedback law may directly be written down in terms of eigenvalues and eigenvectors. However, this control has been computed in previous work [3] for the regulation of satellite angular momentum when the flywheels are at rest. Therefore, the method will here be extended to deal with the struc...